let f x y = ()

fun x 
    y ->{caret} f 1 y
